Two objects of aʿṭā and propositional ʿalima behave identically.