Quote #7522
#7522
1717
⚐ Report//writing a proof //Rose writes "So a sequence of states of M are visited as M processes s" Class: Shouldn't that be "is"? //Rose replaces "are" with "is" Rose: That doesn't look right. //Rose replaces "is" with "are" Class: The subject is the sequence of states of M, so the verb should be singular. //Rose replaces "are" with "be" Rose: Yeah, just leave it unconjugated.