introduced inductively defined transformation relation and proved equivalence with the transform function
data model, theory