if the following are true:
the line at time 5 = 6
the tab at time 5 = 1
statement at line 6, tab 1 = `def age_in_months(self):`
value at "Person" in map (Class Map at time 5) = [ entry "bases": [ ], [ entry "methods": [ entry "init": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ ] ], [ entry "line": 1, [ ] ] ] ]
value at "methods" in map [ entry "bases": [ ], [ entry "methods": [ entry "init": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ ] ], [ entry "line": 1, [ ] ] ] ] = [ entry "init": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ ] ]
Class Map at time 5 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "init": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]
then Class Map at time 6 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "init": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

View as a table | Try proving it

Start from the conclusion and work back up the proof. Click the arrow to show the parents.