mrg/progs/GrailTHY/Grail/GrailLogic/document
