After simplification