begin thinking about compile_top_divergence