changed up the semantics section a bit.  more forthcoming.