example formal/informal docs