2023-03-29

was the invented/discovered distinction invented or discovered?