always_defect(_, d, _, _).