(let logic (fun (a b) {
  (print "a and b: " (and a b))
  (print "a or b:" (or a b))
  (print "not a: " (not a)) }))

(logic true true)
(logic true false)
(logic false true)
(logic false false)