Deleted unused code.
Deanonymized funs.