RE: Positive definiteness