module Rzk where