theory all imports Spi_Bt_Equiv Spi_Mgrs Spi_DC_SI Spi_New_DC Spi_CC Int_DC begin end