Reading list: proof
my best teachers