Sound, Valid, True: Difference between revisions