Intermediate Logic P by David Bostock