fixed implies
fixed implies