More refs and rewrote parts of intro section more formally