So I'm guessing Takeuchi did the IIC designs that became the VMI color plates in 3055.