Function-ify the BTSTRP reduction