 The constraints on contexts available to P can be made stronger or weaker, as the following rules for other well-known modal systems illustrate. In some cases an example is added to illustrate the rule and in each example the move where the corresponding rule is applied is indicated.