Unrestricted comprehension principle