If structural definitions are satisfiable by arbitrarily many incompatible interpretations, they fai...