More documentation (specification).