Finished documenting defunctionalization