Text this: On discretisable formulas in duration calculus

  ______   _    _    __   __     ___      _____   
 /_____// | || | ||  \ \\/ //   / _ \\   |__  //  
 `____ `  | || | ||   \   //   / //\ \\    / //   
 /___//   | \\_/ ||   / . \\  |  ___  ||  / //__  
 `__ `     \____//   /_//\_\\ |_||  |_|| /_____|| 
 /_//       `---`    `-`  --` `-`   `-`  `-----`  
 `-`