Derived Nominals and Concealed Propositions