Text this: Theorem about Amplification of Relational Algebra by Recursive Objects