Betza's_funny_notation loading ...