Horizontal recursion in soft OR. Issue 1 (2nd January 2019)