remove `not` example from cuke and added eval specs