Added Evaluation in the Standard model for formulas with no variables.