if then because hypothesis - Search