The size of a specification does not correlate strongly with it's mental complexity. For example what do the boolean formulas (a <=> b) => (c <=> d), and a & b

The size of a specification does not correlate strongly with it's mental complexity. For example what do the boolean formulas (a <=> b) => (c <=> d), and a & b & c & d & e & f mean? Or I could give you a specification of core Lisp in half a page. Does that mean that Java is 1200x more complicated? Certainly not. Scala is definitely more mentally complicated than Java, and on the bright side this makes it much more powerful too.