Written in logicism