use fresh_all() in clause and effect examples