universes clarified, some remarks on recursions, contexts