module Assertor