documented Sledgehammer's difficulties with non_empty_set_has_partitions
a bit more progress in wd_outcome