Ah, that last line made it make sense, thank you!

> You can change "suppose both are true" to "suppose the rules of a logical system permit stating both are true".

It's calling out a potential flaw in the system and whether we want to do anything about it.