Arbitrary Logicism | AMiner