Sure. It just sounds like their code and it's results got too complicated to reason about.