constraint exactly 1