random refinements

— Antonio