Mixed Extensions (of decision-form games)