Formulo
Review: check whether a name is on the list