diagram: HOROS leads, Greek is the subtitle (rho reads as p to Latin eyes)

diagram: every example now model-verified (3 of 5 were not)

routing diagram: the stone at the boundary