CasesEach one is here
for what it proves.