Add slide for alligator-lambda equivalence