Unfortunately I have no idea about how to write a better test. I only need that formula to build `boo`