On a posteriori error control for the Allen–Cahn problem. (2nd August 2013)