| [ "value", "remark"] -> Obj_flavour `Remark
| [ "value", "theorem"] -> Obj_flavour `Theorem
| [ "value", "variant"] -> Obj_flavour `Variant
| [ "value", "remark"] -> Obj_flavour `Remark
| [ "value", "theorem"] -> Obj_flavour `Theorem
| [ "value", "variant"] -> Obj_flavour `Variant