added lines making it so that we only check some of the unary rules...