add assertion method