started implementing new semantics; slightly modified styles