Thẻ: x1 and x not