A data framework is actually recursive in the event it can be de?ned into the terms of a smaller type of by itself