Free variables can be specified by an external generator