محقق اردبیلی یا مقدس اردبیلی، آیا مسئله این است؟