subtraction speculation visualization