“A new mathematical subject and upcoming book by Friedman combining embedding and maximality principles.”