Added comments from meeting
Source and destination set checking done, traced by hand. Moving on to actual testing