Add Functions.Universal_Quantification