https://interlisp.codingforstudent.com/5-must-read-on-bounds-and-system-reliability/