Some debugging with NaiveBear