INTERNAL STRATIFIED COMPREHENSION