Laat me je axioma's zien en ik laat je je conclusies zien.