abortive axiomatic Snake. ..