Diamonds and Defaults Studies in Pure and Applied Intensional Logic by de Rijke & Maarten