Title: Sharh mukhtasar ʻAli bahjat al-anwar