Software products specifications are written in real language, not in first order logic.