towards nullity constraints: state with constraints