+0

Hi

What does "objects" mean?

"Professor Marceau objects to the loop invariant used in the proof of Lemma 5.5. He questions whether it is true prior to the first iteration."

Comments  

The verb "object" in your sentence means "disapprove of" or "disagree with" as follows:

"Professor Marceau objects to the loop..."

means:

"Professor Marceau disagrees with the loop ..."

Or

"Professor Marceau disapproves of the loop ..."

Best wishes,

Joseph