:: TUNES - computation based on theory :: TUNES - defining the semantics of compuations for me (learning tunes ideas from the c++ view) these two tell the most important aspect of tunes. - 101.