Spring TLA Prof. Seminar Series: Simulation Edit