Truth-functional loading ...