exemplifications

not defined yet