The tensile strength of cables of the same type and thickness typically follows some Normal distribution \(\phi_{(\mu, \sigma)}\), where \(\mu\) and \(\sigma\) depend only on type and thickness. A colleague of yours has pulled apart wires of a certain type and thickness to find their tensile strength. The only thing you know is that your colleague made use of a neutral prior, and that the posterior probability distribution for \(\mu\) (in kilonewtons) was \(\mu \sim t_{(943,11,6)}\). What is the probability that the next cable deforms at a smaller load than \(900 \mathrm{kN}\) ?