This proof needs JavaScript enabled so the twin can execute and compare states.