Updated global processing and undef store processing to account for our disucssion earlier; also added some notes