2 results for proof sets