Whatever is in it would get appended to the formula set on `%ergmlhs%`.
Whatever is in it would get appended to the formula set on
%ergmlhs%.