These semantics are simpler.
Add some doc.