constraint exactly