The useful proof\(^o^)/