add the formal definition of FP from wikipedia