syntactic causality