let mk_axiom_id name  = mk_prop PKProp (Property.ip_axiom name)