PA2: Non Sequitur by Pendulum Abstraction | Treki