A simple application of refactorization August 30, 2022