Core Logic is the Inviolable Core of Logic