Rename to topt for short nameness