Tweaks and added new write-up.