2 ms·

There’s no guarantee more general results exist. It’s likely that any sufficiently complex “market” admits no incentive compatibility.