...

rigorous analysis