“…More importantly, the number of membranes required to prove the universality in the EPC mode was reduced, from seven to four membranes, with a trade-off of utilising four energy objects in antiport rules. In both [1] and [16], register machines were used to prove universality. In a follow-up work in 2017 [24], the concept of matrix grammars with appearance checking was used.…”