Proof of equivalence between relational algebras and ornaments in progress.