... a gap that we must fill in to prove that the ...
Looking at the argument we can seem a bit confused ... choice including must, is/are, do/does, always, necessary, etcetera, ... time to understand conditional statements and Lawgic, just in case you have to use ...