Without application to any domain (which, it seems to me, you actually do by using concrete labels rather than abstract categories), it remains unclear what mak

Without application to any domain (which, it seems to me, you actually do by using concrete labels rather than abstract categories), it remains unclear what makes this example "a real eye opener". In what way is it relevant?