Added images back and made small syntactic changes to the specification.