A System of Logic
The system is logical.