e.g. map an assertion on a list of people to an as...
# strikt
r
e.g. map an assertion on a list of people to an assertion on a list of their surnames