syntactic consequence