Baby VeraProofs