Remove unnecessary precondition.