Αποστολή με SMS: Checking monotone boolean duality with limited nondeterminism