Syntactic consequence

Summary