Montre-moi tes axiomes et je te montrerai tes conclusions.