reversions... SBT and worksheet don't agree!