check for hard constraints works