pons asinorum: a problem that severely tests the ability of an inexperienced person
abstraction: a general concept formed by extracting common features from specific examples
poetic justice: an outcome in which virtue triumphs over vice (often ironically)