.
spinit fveq