Use assert