Logically consistent