The convertibility of 'simple body' and 'simple motion' would require a biconditional grounded in me...