Benefit Of Iman On The Judgment Day After Itmam-e-Hujjah
Leaving hypocrites out of worldly punishment was within definition of Justice within bounds of this world. And punishing hypocrites on the day of judgement will be within absolute definition of Justice.