(this is a legal document, we should avoid juggling with multiple
 variants)