Local File with reader and writer implemented.

It still without proof
LocalFile implemented and proven