Hot: logicism