Removed broken example of lambda term