<=
eff
|=
eff