move to Q
gfredericks schools me in a better assumedTrue macro