collect exhaustiveness conditions