module ProperProperties::Generating