I added some functions in syntactic part