hard amsmath
hard pgf
hard centernot
