“Mica Alt” is another name for Mica.