14.5.3 MarkingPhase