The principles of bedikat, bittul and bi'ur chametz- why searching for chametz is needed after the verbal bittul is already complete