Este uso abierto de la impredicatividad es "honesto", de forma distinta a como ocurre en teoría de categorías.