todo/assert