Introduce a logical consequences

introduce the logical consequence