Spin-down probability = 1 - 0.75 = <<1-0.75=0.25>>0.25