Neo-logicism loading ...