a logical conclusion