Logical consequence

ID: logical-consequence

New to topics? Read the docs here!