Goodman-Nguyen-van Fraassen algebra
 
x
OK