additionally, it must be exhaustive in my special ...

# announcements

[bernhard]

additionally, it must be exhaustive in my special case, and I just wrote some example code here ^^