% Syntax: always_coorporate(+history, -choice, +state_in, -state_out) always_coorporate(_, c, _, _).