consistency, constraint satisfaction2, critical complexity region, local to global inference, replaceability, Substitutability2.