leti / 2 + let leta = 2 in leta