Implemented new BMC and IND