 The Julius Caesar problem would, in principle, bedevil any double-abstraction principle. (It is not a problem specifically for logicism; it is a problem for abstraction principles of a specific  form.)[16]  The problem can be avoided by using single-abstraction identity principles. 