 But this brings us to one final issue that is crucial to Frege’s conception of logic, namely, the extent to which his formal representations capture the content of the claims being analyzed. This issue is relevant because Frege’s primary tool for analyzing the content of a mathematical or philosophical claim is by way of representing the content in a system that axiomatizes the fundamental concepts that are needed for the analysis.  This issue is the subject of the first half of Blanchette 2012. To see what is at stake, we vary the example from the one used in Blanchette 2012 (24). Frege would represent the arithmetical law: