Changed abstract states to contexts. Tightened section on preallocation.