Naming tweak
Comment ns, add the defrule macro