readme for some implementation details