Tyrrell_McAllister comments on A defense of formal philosophy