by Masami Hagiya (Tokyo University), Laura La- weber (Princeton University), John Reif