Module name bug.
Wrote 'satisfy' function... questionable correctness.
Preparing for first database implmentation.
Taking a break for now.