public Reckoner GetReckoner(Formula f, LeftFormula m)
        {
            CombinedReckoner reckoner = CombineReckoner(f, m);
            Reckoner         ev       = new Reckoner(reckoner.Reckon);

            return(ev);
        }
        public Reckoner GetReckoner(CombinedFormula m)
        {
            CombinedReckoner reckoner = CombineReckoner(m);
            Reckoner         ev       = new Reckoner(reckoner.Reckon);

            return(ev);
        }
        public Reckoner GetReckoner(CombinedReckoner e)
        {
            Reckoner ev = new Reckoner(e.Reckon);

            return(ev);
        }
        public void Reckon(CombinedReckoner ev)
        {
            Reckoner e = new Reckoner(ev.Reckon);

            e();
        }