Logicalism Wiki/Extensions