A deìnitive way to determine whether locking will occur is the Babuska- Brezzi condition, but it is di cult to apply. Constraint counting, however, is an easy-to-apply, rough guide to determining whether an element formulation is likely to lock for incompressible problems.