AND-OR-invert loading ...