Do these assertions the right way round