4 ms·Can they be used indirectly, i.e. X is the case because of Y, where Y is a non-standard proof?by yters 18y agoCan they be used indirectly, i.e. X is the case because of Y, where Y is a non-standard proof?