take 1 / 2 ; :: thesis: not 1 / 2 is natural
thus not 1 / 2 is natural ; :: thesis: verum