A Logically Saturated Extension of