Z_notation loading ...