mark reduction has occurs