[makmanalp]

or maybe even "you can get computers to figure things out, and it's cool when the computer reasons something in a way you hadn't thought of"