Arbitrary Logic