1	import Base
2	import ../../shape/PROOF.bend as ShapeProof
3	import ../../storage/PROOF.bend as StorageProof
4	import ./PROOF.bend as ContractsProof
5	import ./binary_LAWS.bend as Laws
6	import ./binary_proofs.bend as Proof
7	
8	def Laws.binary_replayed(operation, left, right, plan, planned, left_fill, left_ops, left_fits, right_fill, right_ops, right_fits, P, h):
9	  +planned = planned
10	  Proof.binary_replayed(operation, plan, left, left_fill, left_ops, right, right_fill, right_ops, planned, P, h)(left_fits, right_fits)