examples of proof sets - Search