Если программист в девять утра уже на работе, значит, он еще на работе ...

Если программист в девять утра уже на работе, значит, он еще на работе.