--------------------------------------------------o
|                                                                     |
|                   Comprehension                              Theory |
|                         A                                       T   |
|                         o-------------------&lt;-------------------o   |
|                        /|\              Denotation             .    |
|                       / | \                                   .     |
|                      / 