module Dual3 where


main = eq True True && eq False False

eq True True = True
eq False False = True