Even harder pseudovariety membership problem

Abstract

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