[debo_]

It has been a long time, but I think we were reading out of various editions of the Red Book

http://www.redbook.io/