(if (eq 1 1)
  (assert true)
  (assert false))

(assert
  (if (eq 1 1)
    true
    false))

(assert
  (not
   (if (eq 1 2)
     true
     false)))