Moved all specification example to specification