use assert