Initial program logic
Find deductions based on M
Record deductions in M
Loop until no further deductions found.
What is wrong with this?
Remember: the goal for the program is to make
only those changes which the user
can see are called for.