implementing bt_have