Initial review

The most recent commit message is so accurate.

It is returning a two-tuple of two sets but I can see the reason for confusion.