k1 k4 k2 k3 1 time tau env k1 S env k2 R X env k3 S env k4 X