Proof space is fake