We have proof automation now — Blankdot