Capital-pi_notation loading ...