Currently uses P(<var>)=<state>, which becomes P.<var>..<state>, but quoting of '.' in examples is a real pain.