TC4S:\.@DOWNLOAD\26 - NVM\Transition From Model to Algebra