Proposisi nang dicapai lawan cara nang murni logis bujur-bujur kosong dalam hal realitas.