What's the good policy for some employees in summer?
They can take Friday afternoons off.
They might leave an hour early on Friday afternoon.
They don't work on Friday.
They have flexible working hours on Friday.