Proof of more additions?