HOTL: Hypotheses and observations testing logic | Publicación