changed quantifier in hasHistory, mostOrdered, mostRecent