semantics up to 11.1, no exactness yet