Text this: On discretisable formulas in duration calculus

  _  _     _____               _____             
 | \| ||  |  ___||   ____     |  ___||     ___   
 |  ' ||  | ||__    |    \\   | ||__      /   || 
 | .  ||  | ||__    | [] ||   | ||__     | [] || 
 |_|\_||  |_____||  |  __//   |_____||    \__ || 
 `-` -`   `-----`   |_|`-`    `-----`      -|_|| 
                    `-`                     `-`