https://slideey.com/cs-155-spring-2006-how-things-goes-wrong-john-mitchell-lecture/