Logicist loading ...