Summary of Pancake Algebra
David Zethmayr

The value invizzo or clean:

The value vizzo or dirty:             ( )

          ( ) ( )   =   ( )
                  Extra Vizzo Good Luck  -- EVglax
                  dirty getaway (arithmetic primitive)
          ((  ))   =
                Short Stack Good Luck -- SSglax
                clean getaway (arithmetic primitive)

Identities     (algebraic consequences, algebraic results)

      (( a ))   =   a
      doubleflip
      ( ) a   =   ( )                 b b  =  b
    tromp; trump               blabber
  (( ) a )   =
    exile; isle of silence
      (t) t   =   ( )                 (t(t))   =
          self-viz                         self-inviz
--the tautological forms.
      (a r) r   =   (a) r
      infect/outfect
    ((a r) b) r   =   ((a) b) r
        deep infect/outfect
    (...((((a r) a1) a2) a3) ...aN) r   =   (...((((a) a1) a2) a3) ...aN) r
      deeper infect/outfect
Note that in the "infects," as also in "blabber," some appearances of a relevant variable are shown to be irrelevant.
      (g) (g i)   =   (g)             ((t) a) t  =   t
          red herring                   occultation
Note that in "red herring" and also in "occultation," a variable is shown to be irrelevant--i.e., its value cannot affect the expression's value under any valuation. The same might be said of "trump," "exile", "self-viz", and "self-inviz."
      (g) (g j1) (g j2) (g j3) ... (g jN)   =   (g)
              red herring school
    ((a r)(b r))   =   ((a)(b)) r
      secret passage
   (((a)b)c)   =   ((b)c) (a c)
      tower/topple; echelon
    (((a)b) ((b)a))   =   ((a)(b)) (a b)
                  XNOR

    XNOR corrected 19Oct2001 DZ
    side-view notation discarded 21Aug2002 DZ
    occultation (G.S-B's name) restored 7Nov2002 DZ
    red herring corrected 18Nov2002 DZ
    red herring school 10June2003 DZ