refinement of Message and assiciated syntax