(module Kwvalid)