(reading a computer science paper which spends ages defining "2-to-1 functions", which are just binary relations)