A calculation leads to a result ˇmathematically appart from the fact whether I have actually performed it.