Remove precondition