[Avshalom]

Strong formal guarantees are complicated see? and we run around telling ourselves that simple is better, so we keep writing shit code.