Asserted  is true.