Abuse_of_notation loading ...