P_notation loading ...