Is_Logic_Empirical? loading ...