Semantics - it is anticipated and quantified, but with error bounds ;)