conflicting theories of universal terms