zazyfau lujvo

x1 is a state (event)