Comment by PuercoPop

I read that to mean that the semantics don't have edge or ad-hoc cases.