Simplification

I hope ...