Shared Ptr Lambda Calculus Explained