making intern to DEFSYM (2)