Finished commenting and type signatures.