17日に有給休暇をとったのは、果たしてよかったのかどうか……。