proof sets - Search