I'm not seeing a way to put a ->d contract inside of a case-> contract. Is there a workaround? --Mark