4 results for proof sets