How to make ad hoc proof automation less ad hoc | Publicación