[petra]

And probably, those optimization could be automated by LLM's.