Grrrrr, the idea was the number of identical options would go down eventually