The comprehension follows