Results for proof