Keyword: symbolic identifications