^{Principals of Logic}