Template:Finitarily equivalent to