I finally figured it out, thanks to the Wikipedia article on lambda calculus and Chris Barker's Javascript lambda tutorial. What Alligator Eggs fails to mention is that if an alligator eats another family but is guarding none of his own eggs, the eaten family disappears forever. Now, to make puzzles for math club...