(mod ((ALICE_MOVE BOB_IMAGE) total bob_preimage alice_share new_validation justification)

    (include *standard-cl-21*)
    (include assert.clinc)
    (include utils.clinc)

    (assert
        (not new_validation)
        (= BOB_IMAGE (sha256 bob_preimage))
        (let
          ((result (r (divmod (- ALICE_MOVE bob_preimage) 3))))
            (if (= result 2)
                (= alice_share 0)
                (if result
                  (= total alice_share)
                  (= total (+ alice_share alice_share))
                )
            )
        )
        0
    )
)