annotate

• uninterpreted
• tallies
• confederations
• rollback
• lolling
• ocarina
• infarction