These introduce (1) component caching in hybrid domains, and (2) a first-order logic of probability with only knowing.