By the same token, tests can only verify certain properties of a function. How could you test that a function is free from side-effects? How could you test it never returns null?