add assertion