Leo de Moura prototypes on-demand commutation theorems for state operations