Jointly exhaustive

Summary