additional documentation for H.java + H.size()