I think we should then have a more descriptive name.  ``roberts_positive_diagonal``, e.g., isn't brilliant, but at least the reader knows where it aims to go.