Lean preamble
Improved language, made symbols consistent