Testing purified functions