formulation logics in spinel castablesformulation logics in spinel castables