m : ts proposition.