Irreducible theories of rivers