Logics door John Nolt