"spathIn" --> "snocPathIn"