Үүнийг мессежээр илгээх: Making the most of BMC counterexamples