                   |                        |
|                      dx|dy                      |
|                        |                        |
|                        v                        |
|                        o                        |
|                                                 |
o-------------------------------------------------o

This really just constitutes a depiction of
the interpretations in EU = X x Y x dX x dY
that satisfy the difference proposition Df,
namely, these:

1.   