let
create_fresh n = screate_fresh
Strategy
.default n