/=
eff
<=
eff
|=
eff