Converting to BMC style.