Monotone boolean function