transitive closure and universal computation engine