An interesting definition.