Did_You_Know on Nostr: Fact: The typical lead pencil can draw a line that is thirty five miles long