It is not the case that The convertibility of 'simple body' and 'simple motion' would require a biconditional grounded in metaphysical necessity, but Aristotle provides only a one-directional causal claim in De Caelo I.2.
?Set your confidence on the premises below to see your aggregate.