Overconstrained linkages, not satisfying the Kutzbach mobility criterion, are considered. A mathematical technique is presented for the derivation of overconstraint conditions. Although these are essentially geometrical, the model employs algebraic methods normally used for the displacement analysis of spatial linkages. A complete list of all known four-bar overconstrained linkages with lower-pair joints is given.