Theory-infected: or how i learned to stop worrying and love universal quantification.