Dot låter visserligen bra detta sistnämda förslag,