given a reference, he can't say "yes, this can be ...
# announcements
d
given a reference, he can't say "yes, this can be nullable" unless it happens to be
null
or, if it's mutable, he can assign
null
to it