is it necessarily true - Search