too difficult... InfiniteDecreasingChain