Notes on implementation.