Daniel F. Keefe email: dfk “at” cs.brown.edu