beth_1(2)