Taken from a proof set.