if statement at line 4, tab 2 = `self.y = 0`, then statement at line 4, tab 2 = self."y" = 0

View as a table | Try proving it

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