contains' implemented but untested FIXME