Filling out first assertion