Added constraint sets, external syntax