Thinking of "nontrivial-sqrt?"