neg_derive exists case