further documentation for H.java