Text this: On Proof Techniques and Technology

 _    _     ______   _    _    _    _    _____    
| \  / ||  /_   _// | |  | || | || | || |  __ \\  
|  \/  ||   -| ||-  | |/\| || | || | || | |  \ || 
| .  . ||   _| ||_  |  /\  || | \\_/ || | |__/ || 
|_|\/|_||  /_____// |_// \_||  \____//  |_____//  
`-`  `-`   `-----`  `-`   `-`   `---`    -----`