Every arrow between two points can be considered a different “proof” of a relation between those two points