The Art of Logic in an Illogical World - Eugenia Cheng 2018