The law of the excluded middle alone ensures mutual exclusiveness and exhaustiveness for categories ...