显式不等于冗余