diff --git a/preserves-binary.md b/preserves-binary.md
index 786f341..8ada4d2 100644
--- a/preserves-binary.md
+++ b/preserves-binary.md
@@ -140,9 +140,10 @@ represent the denoted object, prefixed with `[0x86]`.
«@W V» = [0x85] ++ «W» «V»
-Each annotation precedes the `Value` it annotates. Implementations
-*SHOULD* default to omitting annotations from binary `Repr`s. See
-[examples in the appendix](#annotation-examples).
+Each annotation `W` precedes the `Value` `V` it annotates; both `W` and
+`V` *MAY* themselves be further annotated. Implementations *SHOULD*
+default to omitting annotations from `Repr`s. See [examples in the
+appendix](#annotation-examples).
## Security Considerations
@@ -215,7 +216,7 @@ values.
## Appendix. Examples
-### Binary SignedInteger examples
+### SignedInteger examples
«-257» = B0 02 FE FF «-2» = B0 01 FE «255» = B0 02 00 FF
«-256» = B0 02 FF 00 «-1» = B0 01 FF «256» = B0 02 01 00