Adding uninterpreted symbols.