xxx> Phone automatically changes "binary" to "pork". Someday there will come a moment when I will not notice this replacement, and one of the students in response will receive sharp criticism of his work.