The reasoning trace would be far more interesting, and that's not exposed.