... m .. f , i |=