A bit more on the implementation