Finished testing Ackermann