Text this: On discretisable formulas in duration calculus

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