( toCs * Z3