Use assertions