slightly better proof logging interface