Text this: On discretisable formulas in duration calculus

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