is necessarily true meaning - Search