Pure-Examples.Higher_Order_Logic