fp-why: final version