Formal Selection