Не спалось… поэтому Сидоров начал выводить в уме дифференциальное уравнение, описывающее перемещение овечек

«… но тут выяснилось, что сисадмин страдает кластерофобией»

… и очевидность, доведенная до невероятности