Enforcing assumptions