Definition f := 2.