fixed implies