Let Over Lambda notes and work.