What is a logical consequence? What is validity?