Manfred comments on A defense of formal philosophy