We sketch a tentative proof of P-completeness for the $𝛽$-convertibility problem on untyped planar (a.k.a. ordered or non-commutative) $𝜆$-terms.