assertOneCold1.v