Full reference for the sytax & semantics (very dry…)