FOM: As a correction to my previous post, although I don't know how to diagonalize out of PSPACE, PSPACE $\neq$ EXP does follow from NEXP $\neq$ co-NEXP. Martin Dowd -------------- next part -------------- An HTML attachment was scrubbed... URL: </pipermail/fom/attachments/20220309/950fdc9e/attachment-0001.html>