AMS maths package added and tweaked wordings in the declaration