Talk:HPO formalism