fixed Formals production