Ontify
Statement equivalent to Euclid's parallel postulate, that given a line and a point not on it, there is at most one line parallel to the given line through the point.