"proof sets" - related articles and key terms