Test everything, including assumptions