module Logic where

data True : Set where
  tt : True

data False : Set where