Initial separation into three separate spec documents