PA has speed-up over HA. Is that right? Is there a literature on this (I mean specifically speed-up associated with using LEM)? Thanks. --- Jeff ~~~~~~~~~~~~~~~~~~~~~~~ Jeffrey Ketland Faculty of Philosophy Sidgwick Avenue CAMBRIDGE CB3 9DA U.K. JJK32 at cam.ac.uk ~~~~~~~~~~~~~~~~~~~~~~~