HOT L: Hypotheses and Observations Testing Logic | Publicación