Minor Changes. Some comments, some abstract keywords added.