#Logic folks
In
R : φ1*φ2* ... *φn =0
R acts as logical
#kleene #godel #recursion