[jinushaun]

I am now convinced that the standard Ruby syntax is itself a DSL.

[hayeah]

Not only is it proven, it is also tested.

I am not a genius like Knuth, who only needs to prove things.