Updated for new sybolicate update