All proofs rest on premises.