The binary logic of two distinctions