pyq/2021/essay/4
The real is rational and the rational is real.