It is now possible to fully state the system, to understand the requirements on the sums and constants within it, to explore its solutions, and to examine the implications of such.