(discard
  (print (cond-add-inv 7 true))
  (print (cond-add-inv 7 false)))