Fixed example, optional global function, added Specification