Just an assertions file