Syntactic awareness in logical dynamics