If it raises one or the other non-deterministically, that's a bigger problem. :-)