<--Previous
Up
Next-->
proof of refreshingness