Updated paper with some rough notes about the argument layout.