if the following are true:
the line at time 4 = 5
the tab at time 4 = 1
statement at line 5, tab 1 = `def move(self):`
value at "Animal" in map (Class Map at time 4) = [ entry "bases": [ ], [ entry "methods": [ entry "init": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ ] ], [ entry "line": 1, [ ] ] ] ]
value at "methods" in map [ entry "bases": [ ], [ entry "methods": [ entry "init": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ ] ], [ entry "line": 1, [ ] ] ] ] = [ entry "init": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ ] ]
Class Map at time 4 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "init": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]
then Class Map at time 5 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "init": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ 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.