Update lambda_abstractions.md