Is it true, that Mike Todd often wanted a cut of the profits of any movie which used his Todd A0 system to shoot?