Truth-function loading ...