creating x without [Proof.]