Describir: Ramsey, 'Universals' and atomic propositions.