2Actually, only the major constraints are listed (more constraints can be detected by investigating the syntax specified in Appendix H.1).