Changed HashSet type to PlatoSet