DER coding of a default syntax value

If I defined an X.509 v3 extension:

  foo  EXTENSION ::= {
        SYNTAX                  BOOLEAN : FALSE
        IDENTIFIED BY           id-foo
        }

The DER-coding of a "false" boolean value for the extension
would presumably not exist in the byte stream, under DER
default coding rules.

That is, the octet-string of the extension identified
by id-foo would have no content octets, and thus be of
length 0.

Anyone disagree?