An-example-of-simplification-with-an-autoloader