.
spinit coqb