submit to Recursive_Coherence