; Deps: sat.plf


(check
  (% cheat (holds cln)
     (: (holds cln)
        cheat; hi
     )
  )
)