Symbolic Systems Program 25th Anniversary - tow