Very interesting insight for the role of parentheses in lisp languages.

If you model a Lisp as a stack language that evaluates from right to left, each parenthesized block must push exactly one value onto the stack, and must not consume any values.