assistant= 0.5 * (a + b)M = fst (mult f (I, t)) - tWait, no, I mean:M = fst (mult f (I, t)) - tThat's it. That's the whole thing.