“…So far, this conjecture was confirmed only in some special cases, for example, when dissolution rules are not used [11], when the division rules are symmetric [18], or when dissolution and elementary membrane division rules are allowed but both the use of other types of rules and the initial membrane structure are restricted [9,15,34]. The aim to prove Păun's conjecture initiated a research line in membrane computing where the computational power of restricted variants of polarizationless P systems is investigated (see, e.g., [19][20][21], where these P systems with no dissolution rules were studied and [8], where it is shown that these systems can simulate Turing machines efficiently using only evolution and dissolution rules). For a recent survey on exploring the boundary between P and NP in terms of membrane computing, see, e.g., [22].…”