Use assert_