always_coorporate(_, c, _, _).