[Question][Lecture 11-2] About abstract semantics of conditional

[ee12ha0220]

In the lecture, we learned like the figure above about the abstract semantics of conditionals. But I think that if f_E(m#) is Bottom, m# should be changed to m#{x->Bottom}. Am I understanding something wrong? Thank you

[KihongHeo]

Nice catch. You are right.
Since the deadline has been already passed, we won't consider such cases for evaluation.

[ee12ha0220]

Thank you!