SaN(dumb-proofs) frbattle r1