Thomas Neele: (Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems. ARQNL@IJCAR 2022: 64-80