Switches order of intersection for consistency with rest of work.
Adds some information about partial sat.