One doesn’t simply create a Warren Abstract Machine by accident
no, first one goes down some wrong avenues before backtracking
no, first one goes down some wrong avenues before backtracking