* talked about definitions of inheritance - Tim is doing formalism aiming for “new aliasing + traits” model - James will focus on writing out that description first * talked about “manifest” aka “static” aka “let”... James