David_Smith_(amateur_mathematician) loading ...