The strange joy of recursive/inductive definitions that look ill-founded but aren't
"An ordinal is a downward-closed set of ordinals" thanks, I love it
"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko
