Edited Technical Report.