module RR::DoubleDefinitions::Strategies::Verification