A 'highest existing horse' satisfies the same logical predicates (maximality, necessity, uniqueness)...
This proposition has not been edited since the history system was added.