finish paper: introduction + bellare pf (needs work) + transfer of properties, conclusion, future work (all TODOs). about 8.5 pages