logical inclusion