Louise Hay A Note on Frame Extensions. 543-545 1972 37 J. Symb. Log. 3 db/journals/jsyml/jsyml37.html#Hay72a