. "expand assertion to"^^ .