simplification with sequences