Rule -> Clause; printfn -> debug;