  We force superclub with an arbitrary large value of cov($\mathscr{M}$). We
force tiltan with an arbitrary large value of add($\mathscr{M}$). Finally, we
obtain a negative square bracket relation from superclub.
