Ranganathan–Wise conjecture. The differential η\etaη is smoothable if and only if, for every level iii:
