Работодатель хочет по согласованию с работниками предоставить им взамен работы в праздничный день дополнительное время отдыха. Весь смысл как раз в том, что не дополнительный день отдыха, а часы, предположим, в один день 4 часа, в другой 4. Насколько это правомерно или такой вариант совсем не употребим в виду жесткой формулировки ТК?