Dyadic programs and subdual methods