Minor, but I would use `v` vs. `x` on this line (first letter of values) and `t` for transitions vs. `x` on the next line.