Removed redundant precondition checks.