Proofs-dual

Unknown