Ibn Arabi and theoretical mysticism