Fix equiv(null)=> return false;