Partial: now all constraints are deferrable...