Adding in performance numbers from Mt. Sinai.
Added discussion about syntax vs. semantics.