Added initial (unfinished) write-up.