intuition versus formel