[luriel]

1) Given the nature of the bug "for ever" seems like a good guess 2) I doubt they can prove any such thing.