[mylogic [a b] let
  a b and puts
  a b or puts
  a not puts
].