start making the add assertion stuff work