3 ms·Have you tried it or do you follow the proof by assumption paradigm?by sgift 7y agoHave you tried it or do you follow the proof by assumption paradigm?