Use more illuminating assertions