Comment by equinox_nl

But I also fail catastrophically once a reasoning problem exceeds modest complexity.