rĖ > OLD_1. Mathematical Logic