Spice up the semantics