narain, 5 months ago @christianp Sadly, after getting bored of enumerating things you also had to enumerate the number of things you enumerated before getting bored
@christianp Sadly, after getting bored of enumerating things you also had to enumerate the number of things you enumerated before getting bored