The predicate appears for a subscript to σ and argument relation is presented in parenthesis adhering to σ. Predicates could be defined using the operators =, !=, = and so on. and They could be linked by utilizing the connectives.In collaborative workflows, sharing the state on the Remix VM