premise: Cumulative balances of available leave by type per employee are required to be maintained on record.
hypothesis: The employees are required to remember their number of days of leave left as there is no official record.