module Proof::Generators