And, in fact, it would reduce to four on the, both evaluation strategies, both call-by-name and call-by-value, because we have started with already evaluated arguments, so there is no choice in the matter. 