re: #15 brookly red

dude, you’ve gotta prove equivalence, or don’t bring it up ;)