Proving something bigger