Reverse Mathematics - innbundet, Engelsk, 2018