Semantics and prelude