add assertion system