Add initial assertions