Mathematics
Computer science
FO
SO
P
Food security
Applied mathematics
Finite model theory
Complexity classes