Description of triveval.scm