Added rough specification