Generere en mere kompleks version af denne sætning Denne hale rekursion kan effektivt kompileres som en løkke, men kan ikke beskæftige sig med uendelige lister overhovedet.
Selvfølgelig er en mere kompleks version af sætningen "Denne hale rekursion kan effektivt kompileres som en lus, men kan ikke beskæftige sig med uendelige lister på alle - det vil gentage for evigt i en uendelig lus. "