cosmetics
semantic function specification (still not finished)
semantic function sepcification (finished)