Positive-definite_functional loading ...