candidate: Thus , his mode for determining or " defining " life in any given system is a functional , not material , mode ; although he did consider in his 1970s published reports specific " dynamic realizations " of the simplest formula_1 - systems in terms of enzymes ( formula_3 ) , RNA ( formula_4 ) , and functional , duplicating DNA ( his formula_8 - mapping ) .