Hat_notation loading ...