15 ms·He's fine with logical deduction from a given set of axioms.by yters 18y agoHe's fine with logical deduction from a given set of axioms.