some constraint types and problems