Not Abstract Nonsense (mostly)