FLINT add remove