Control.Eternal.Syntax.Logic