The subclass relationship holding between classes of permitted statements is the opposite of that holding between classes of forbidden statements (potential falsifiers): the two relationships may be said to be inverse (or perhaps complementary).