Before revision: They introduced the Winslett Identity in
After revision: the Notre Dame Journal of Formal Logic.They introduced the Winslett Identity in