"assume"^^ . . .