the first is that the movement of the sky is estimated to be the result of the compulsion of another body that desires its movement and directs it constantly. this moving body is neither a sphere nor an ocean so it is not the sky. this invalidates their statement that the movement of the sky is voluntary and that the sky is an animal. what we have mentioned is possible and there is nothing to reject it except mere exclusion.
الأول أن يقدر حركة السماء قهرا لجسم آخر مريد لحركتها يديرها على الدوام وذلك الجسم المحرك لا يكون كرة ولا يكون محيطا فلا يكون سماء، فيبطل قولهم إن حركة السماء إرادية وإن السماء حيوان. وهذا الذي ذكرناه ممكن وليس في دفعه إلا مجرد استبعاد.