Үүнийг мессежээр илгээх: Almost-certain eventualities and abstract probabilities in quantitative temporal logic