Define Certainly In Logic