"proof by construction" - related articles and key terms