all constraints (some buggy still though)