semantics and alternate syntax