Unfortunately: as much of programming (eg any non-degenerate evaluation) fails to be injective, the law of excluded middle fails just where one might wish most

Unfortunately: as much of programming (eg any non-degenerate evaluation) fails to be injective, the law of excluded middle fails just where one might wish most to apply it.