print what we think to be the case