Mathematical verification added