It never happens in our general usage, and would have other undesirable effects anyway...