Clarified existence of examples