Added Assertions file