Goodman–Nguyen–van_Fraassen_algebra loading ...