a.len() == len(a) seems like a good idea, but I'm not so sure about a.len... Isn't that a bit ambiguous?