always_defect(_, d).