"proof string" - related articles and key terms