They do implicitly: you can only be accidentally productive without those preconditions.