let reduce path =
    f2s (PathOperation.reduce (s2f path))