Add initial draft for simple assertions