Separating assertions
`this` is removed for now