AI skeptics in shambles. For GOFAI, see: https://swish.swi-prolog.org/p/Proven%20Leftpad.swinb.