Infinite_four, infinite_of