Ah sir, you ommm, made it so that every page of paper we use while working is deducted from our time off by HR (1 piece of paper = 10 minutes vacation time).

Whose paper should we use?