4 ms·

I'm not sure how that follows, so... no.

• namaria 2y ago
  > We want it to try and maybe realise when all paths it can generate have been exhausted. How would it know if any reasoning fails to terminate at all?