Added detailed example to specification.