Unsoundness in `Pin`

18 posts were split to a new topic: Transitiveness in Pinning