% Syntax:  always_defect(+history, -choice, +state_in, -state_out)

always_defect(_, d, _, _).