Progress! Still haven’t gotten the one-side bounds to work, but the rest of the behavior seems fairly reasonable at this point.