Free_In_Theory follows these domains