Annotated H_moshinsky.