Text this: Guaranteed verification of finite element solutions of heat conduction /