Text this: Checking monotone boolean duality with limited nondeterminism