module ADSL::Verification