OK... seems like we should just deal with that case when it actually happens rather than guessing about it right now.