Labelled deductive systems: a position paper