Labelled rules, commented out redundant value subtests which are not being tested