Added proof scripts that the rules for Two are hprops.