SVA : Property is a tautology

In reply to sharvil111:

Thanks for the explanation !!