Если программист в 9-00 утра на работе, значит ...

Если программист в 9-00 утра на работе, значит, он там и ночевал.