do we use theset javaish `get_` prefix consistently? i thought the pythonic way were `leaves()`, but i might well be wrong...