In system 32.2, with microcode 674, on LISP Machine Two: backward-down-list puts you somewhere random if it is called at the bottom level of a list. The problem seems to be that it just counts parens and doesn't behave like the no-up guys.