Single negation is enough for isProp.