Pm me your proofs @jamneet and @robnew