Generalize proof logging