cancelpublished Consistency, cut-elimination, normalization

status will change from published to submitted

validating...