534 ;;Quote: use alias burying to avoid destructive reads of 'read-once' variables; aliases must be dead when reading a unique field of possibly shared objects; static enforcement by restricting aliases across procedure calls

538 ;;Quote: a borrowed variable (a dynamic alias) is never stored in a field; owned elsewhere; may be used for computation or local variable, but it is never returned

538 ;;Quote: with dynamic aliases there may be data dependencies between writes through a unique field and reads through a dynamic alias

539 ;;Quote: using borrowed variables and annotations, defer read nullification until the variable becomes dead; need annotations on fields and method interfaces

543 ;;Quote: alias burying guarantees that aliases are never used; fields are never null unless explicitly set

545 ;;Quote: for alias burying, annotate parameters, return values, and fields as unique or borrowed; restricts use; need to analyze local variables

551 ;;Quote: alias burying my be used with existing compilers and run-time systems

551+;;Quote: alias burying requires a complex, intraprocedural analysis; minor source-level changes may lead to confusing error messages