other half of proof