add assertion methods