Für (A) spricht insbesondere, dass Aristoteles an mehreren Stellen davon ausgeht, dass die Substanz-X und somit die Form definierbar ist (Met.
fyːɾ ˈɑː ʃpɾˈɪçt ˌɪnsbeːzˈɔndərə, das ˈɑrɪstˌoːtələs an mˈeːrərən ʃtˈɛlən dɑːfˈɔn ˈaʊsɡˌeːt, das diː zˈʊpstantsˈɪks ʊnt zoːmˈɪt diː fˈɔɾm dˌeːfiːnˈiːɾbɑːɾ ɪst mˈeːt.