Justin: small edits throughout. Claudio's questions answered/addressed.