https://progiez.com/100-questions-on-current-theorems