double marginalization