The Oracle has spoken.

The bug is in the assumption, not the code.