module T5922 where

data Proposition = Proposition deriving (show)