Making variables for given constants to prove that the values found for variables in problem are accurate.