Our company credits 15 days of earned leave to an employee after the completion of one year from the date of joining. The calculation is that for every 20 days worked, the employee earns one day of earned leave. My question is, if he only avails paid leave in a year, is he still eligible for 15 days of earned leave next year?