Proving It