reword documentation to account for sat_count/2