Mikio Braun
@mikiobraun
Replying to @jane_fel_reed
yes, but it could be that 713 occurred before but has been removed. The proof says that it's better to start with the
1
Retweets