FiniteSets: The Beginnings