GOFAI is search... really!