Asks about proof sets