defined -> contains