FOUND AT THE END OF CAROL-INI-3678 (CLI-226), while proving that a per-droid pin still outranks a track declaration. It could not be proved, because the pins do not do what they s\u2026