Define Logical Consequences