Re: hyperdoctrines and cylindric algebras