added ht-contains-p