Skip

data object Skip : SweepAction

Leave the proposition untouched (e.g. it is pinned, or carries no marks).