Ben's notes

#lambda