Advances in experimental philosophy of logic and mathematics. (2019)