Refine until we hit the std_library