Judith Segal Some Problems with Context in Formal Reasoning. 12 1997 PPIG https://ppig.org/papers/1997-ppig-9th-segal/ conf/ppig/1997 db/conf/ppig/ppig1997.html#Segal97