Effective theories of universal theories (original) (raw)