full-state constraints