In case you were wondering how various logical relations are related, see here.