The Joel Robbin mathematical logic mystery of Sterling Hall