More documentation on design