public function __toString() { return (string) $this->result->getPosition(); }
public function inflect(MovementPositionTracker $tracker) { $tracker->modify('-1'); }