Video 2_1_AbstractionHypotheticalProps for Course CDF-014