Proper implementation of labeled sequences and actions