Another Incredible BMC Trick