Semantics 4 works reasonably