name refinements and debugging