delete sb_decidable