Monadic labeling completed + sample SM è la carte