Add spec for not