- Several improvements in describing how options imply other options.