# Correction

## Brent L Kerby — 2002-03-31 04:21:48

    > Well, it's true that "[]" is neccessary in order to form all combinators using

    > "cons" and "dip".

     That should say, "[]" is neccessary in order to form all linear combinators

    using "cons" and "dipi", I meant.

    - Brent

## Brent L Kerby — 2002-04-03 06:33:24

    > "bury5" can be constructed as

    >

    >   bury5 == reverse5 reverse4

     This should be

    bury5 == reverse6 reverse5

    (as it was defined earlier, and as it makes most sense to define it, bury5

    buries an item under 5 items; thus there are six total items involved)

     >   dig5 == reverse4 reverse5

     This of course should be

    dig5 == reverse5 reverse6

    - Brent

## Brent L Kerby — 2002-04-03 07:10:28

    > "bury5" can be constructed as

    >

    >   bury5 == reverse5 reverse4

     This should be

    bury5 == reverse6 reverse5

    (as it was defined earlier, and as it makes most sense to define it, bury5

    buries an item under 5 items; thus there are six total items involved)

     >   dig5 == reverse4 reverse5

     This of course should be

    dig5 == reverse5 reverse6

    - Brent

## Brent L Kerby — 2002-04-03 07:10:54

    > "bury5" can be constructed as

    >

    >   bury5 == reverse5 reverse4

     This should be

    bury5 == reverse6 reverse5

    (as it was defined earlier, and as it makes most sense to define it, bury5

    buries an item under 5 items; thus there are six total items involved)

     >   dig5 == reverse4 reverse5

     This of course should be

    dig5 == reverse5 reverse6

    - Brent

## Brent L Kerby — 2002-04-03 07:11:27

    > "bury5" can be constructed as

    >

    >   bury5 == reverse5 reverse4

     This should be

    bury5 == reverse6 reverse5

    (as it was defined earlier, and as it makes most sense to define it, bury5

    buries an item under 5 items; thus there are six total items involved)

     >   dig5 == reverse4 reverse5

     This of course should be

    dig5 == reverse5 reverse6

    - Brent

## Brent L Kerby — 2002-04-03 07:12:11

    > "bury5" can be constructed as

    >

    >   bury5 == reverse5 reverse4

     This should be

    bury5 == reverse6 reverse5

    (as it was defined earlier, and as it makes most sense to define it, bury5

    buries an item under 5 items; thus there are six total items involved)

     >   dig5 == reverse4 reverse5

     This of course should be

    dig5 == reverse5 reverse6

    - Brent