Things I'm trying out, inspired by reading Gödel, Escher, Bach