If we had given intervals of s, like we said s = [1,3], then I totally understand what F-measurable means, it's like high = between 1 and 3, if o-algebra includes the set of all high sample points then it's F measurable, but s never feels embedded in S? Idk, this is frustrating.