Rodas has pushed the to-do-rule-4, but we are still discussing about the format of the logic representation for that, so that hasn't been merged yet. I just merged to-do-rule-5 via #796