necessarily true examples - Search