F#X - 9.12 + 4