.
spinit bonus wlog