y el propio Sowa, el cuantificador existencial «único» formula_30, implícitamente: