Sorry, I obviously mixed things up:
just swap the natures of claims in grounds "A" and "B" in what I just wrote.
The rest is unchanged.
"Cyril" pronounced "see real". I code stuff.
"To study and not think is a waste. To think and not study is dangerous." -- Confucius