Even harder pseudovariety membership problem (opens in new tab)

We present a finite semigroup whose pseudovariety has membership problem hard for the class \emph{Difference P}