Invariant Comprehension