There are two equivalent Sheo-guidelines: 1) relations are finite and 2) relations never finish. Follow both of them simultaneously.