An addendum to "The theory of implicit operations"

In this addendum to [4], we provide a pair of counterexamples relevant to the theory of implicit operations. More precisely, we exhibit a pp expansion of a variety that fails to be a variety (although it is a quasivariety). Furthermore, we construct a sequence of varieties possessing a nonequational congruence preserving Beth companion.