Tail_Modulo_Constructor