The complexity of normalizing planar lambda-terms is still an open problem, despite recent attempts to show it is P-complete.
