(* (- 0 6) 8)